Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Tail call
Results: 62
‹ Prev
1
2
3
4
5
6
7
Next ›
#
Item
1
Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu
Add to Reading List
Source URL: people.mpi-inf.mpg.de
Language: English
- Date: 2016-02-11 10:23:52
Software engineering
Computer programming
Declarative programming
Recursion
Theoretical computer science
Functional programming
Category theory
Subroutines
Corecursion
Fold
Coinduction
Tail call
2